Electronic Books

Total Books: 1 - 19 /19
978-3-540-31900-9
Advances in Web Intelligence

In recent years the Internet has become a source of data and information of indisputable importance and has immensely gained ...

Continue reading
9780521873611
An introduction to description logics, Franz Baader, Ian Horrocks, Karsten Lutz, Ulli Sattler

Designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently ...

Continue reading
978-3-540-71070-7
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...

Continue reading
978-3-540-73099-6
Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Continue reading
978-3-540-73099-6
Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Continue reading
978-3-540-33972-4
Cognitive Vision Systems

This volume is a post-event proceedings volume and contains selected papers based on the presentations given, and the lively ...

Continue reading
978-3-540-69234-8
Declarative Programming for Knowledge Management

This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...

Continue reading
978-3-540-76719-0
Knowledge Science, Engineering and Management

This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and ...

Continue reading
978-3-540-77475-4
Knowledge-Driven Computing : Knowledge Engineering and Intelligent Computations

Knowledge-Driven Computing constitutes an emerging area of intensive research located at the intersection of Computational ...

Continue reading
978-3-540-32275-7
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

Continue reading
978-3-540-31650-3
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

Continue reading
978-3-540-39627-7
Logics in Artificial Intelligence

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...

Continue reading
978-3-540-87803-2
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

Continue reading
978-3-540-74615-7
Reasoning Web

This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the ...

Continue reading
978-3-540-31675-6
Reasoning Web (vol. # 3564)

This volume contains the tutorial papers of the Summer School “Reasoning Web,”July25–29,2005(http://reasoningweb. org). ...

Continue reading
978-3-540-87993-0
Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

Continue reading
978-3-540-88564-1
The Semantic Web - ISWC 2008 : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings

This book covered in the research track are ontology engineering; data management; software and service engineering; non-standard ...

Continue reading
978-3-540-89704-0
The Semantic Web : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.

The book address the latest results in the research and applications of Semantic Web technologies and cover topics including: ...

Continue reading
978-3-540-37207-3
Theory and Applications of Satisfiability Testing - SAT 2006

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...

Continue reading
Total Books: 1 - 19 /19